On the Complexity of Commutativity Analysis
نویسندگان
چکیده
Two operations commute if they generate the same result regardless of the order in which they execute. Commutativity is an important property | commuting operations enable signi cant optimizations in the elds of parallel computing, optimizing compilers, parallelizing compilers and database concurrency control. Algorithms that statically decide if operations commute can be an important component of systems in these elds because they enable the automatic application of these optimizations. In this paper we de ne the commutativity decision problem and establish its complexity for a variety of basic instructions and control constructs. Although deciding commutativity is, in general, undecidable or computationally intractable, we believe that e cient algorithms exist that can solve many of the cases that arise in practice.
منابع مشابه
A GENERALIZATION OF A JACOBSON’S COMMUTATIVITY THEOREM
In this paper we study the structure and the commutativity of a ring R, in which for each x,y ? R, there exist two integers depending on x,y such that [x,y]k equals x n or y n.
متن کاملFinite groups with three relative commutativity degrees
For a finite group $G$ and a subgroup $H$ of $G$, the relative commutativity degree of $H$ in $G$, denoted by $d(H,G)$, is the probability that an element of $H$ commutes with an element of $G$. Let $mathcal{D}(G)={d(H,G):Hleq G}$ be the set of all relative commutativity degrees of subgroups of $G$. It is shown that a finite group $G$ admits three relative commutativity degrees if a...
متن کاملThe Tensor Degree of a Pair of Finite Groups
In this paper, we study the tensor commutativity degree of pair of finite groups. Erdos introduced the relative commutativity degree and studied its properties. Then, Mr. Niroomand introduced the tensor relative commutativity degree, calculated tensor relative degree for some groups, and studied its properties. Also, he explained its relation with relative commutativity degree. In this paper, w...
متن کاملCommutativity degree of $mathbb{Z}_p$≀$mathbb{Z}_{p^n}
For a nite group G the commutativity degree denote by d(G) and dend:$$d(G) =frac{|{(x; y)|x, yin G,xy = yx}|}{|G|^2}.$$ In [2] authors found commutativity degree for some groups,in this paper we nd commutativity degree for a class of groups that have high nilpontencies.
متن کاملCommutativity of Linear Time-Varying Differential Systems with Nonzero Initial Conditions: A Review and Some New Extensions
Necessary and sufficient conditions for the commutativity of linear time-varying systems are derived in the case of nonzero initial conditions. It is shown that some commutative class of linear time-varying systems may not commute with arbitrary initial conditions. In this respect, commutativity of Euler differential systems is investigated. Explicit commutativity conditions for the fifth-order...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Found. Comput. Sci.
دوره 8 شماره
صفحات -
تاریخ انتشار 1996